Code Instrumentation and Modeling for Parallel Performance Analysis Dagstuhl Seminar
نویسندگان
چکیده
From 20th to 24th August 2007, the Dagstuhl Seminar 07341 Code Instrumentation and Modeling for Parallel Performance Analysis was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The rst section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
منابع مشابه
Dagstuhl Seminar on High Level Parallel Programming: Applicability, Analysis and Performance
Parallel Machines for the Polytope Model Nils Ellmenreich Universität Passau, Germany Since scientific algorithms are often easily expressible in a functional language and they are often used for huge problem sizes, we propose an approach to statically parallelize this class of algorithms. The method, polyhedral parallelization, was adapted to the functional setting. For the code generation, we...
متن کاملAdvanced Stencil-Code Engineering
This report documents the program and the outcomes of Dagstuhl Seminar 15161 “Advanced Stencil-Code Engineering”. The seminar was hosted by the DFG project with the same name (ExaStencils for short) in the DFG priority programme “Software for Exascale Computing” (SPPEXA). It brought together experts from mathematics, computer science and applications to explore the challenges of very high perfo...
متن کاملMeta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182)
Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141) Bernadette Charron-Bost, Stepahn Merz, Andrey Rybalchenko, and Josef Widder 1 Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142) Albert Cohen, Alastair F. Donaldson, Marieke Huisman, and Joost-Pieter Katoen 17 Drawing Graphs and Maps with Curves (Dagstuhl Seminar 13151) Stephen Kobourov, Martin Nöllenburg...
متن کاملIndexes and Computation over Compressed Structured Data (Dagstuhl Seminar 13232)
Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231) Jürgen Dix, Sven Ove Hansson, Gabriele Kern-Isberner, and Guillermo Simari . . . 1 Indexes and Computation over Compressed Structured Data (Dagstuhl Seminar 13232) Sebastian Maneth and Gonzalo Navarro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 Virtual Realities (Dagstuhl S...
متن کاملSynergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)
This report documents the program and the outcomes of Dagstuhl Seminar 16201 “Synergies among Testing, Verification, and Repair for Concurrent Programs”. This seminar builds upon, and is inspired by, several past seminars on program testing, verification, repair and combinations thereof. These include Dagstuhl Seminar 13021 “Symbolic Methods in Testing”; Dagstuhl Seminar 13061 “Fault Prediction...
متن کامل